widget: Do proper clean up in real_hide()
authorBenjamin Otte <otte@redhat.com>
Wed, 29 May 2019 13:02:49 +0000 (15:02 +0200)
committerBenjamin Otte <otte@redhat.com>
Wed, 29 May 2019 14:34:56 +0000 (16:34 +0200)
commit2380f9673bdd7f41fa8d0d05f23e3f75390c77df
treebe0673808ee457c84505109d5824fa88c1444344
parent170c25a9d277b549cb9f5d82160f5dc70b46d6b5
widget: Do proper clean up in real_hide()

Do the same things set_visible_flag() does.
gtk/gtkwidget.c